non resolution theorem proving
《英漢醫(yī)學詞典》non resolution theorem proving
非解析定理求解
熱門查詢
- Waterhouse n. 沃特豪斯（意大利畫家）
- harding n. 哈丁（姓氏）；哈丁（美國前總統(tǒng)）
- goaltender n. （足球等運動的）守門員（等于goalkeeper）
- falangist n. 長槍黨黨員
- lovely adj. 可愛的；令人愉快的；愛戀的；秀麗的，優(yōu)美的 n. 美女；可愛的東西
- amateur n. 愛好者；業(yè)余愛好者；外行 adj. 業(yè)余的；外行的
- absorption n. 吸收；全神貫注，專心致志
- wholly adv. 完全地；全部；統(tǒng)統(tǒng)
- disorder n. 混亂；騷亂 vt. 使失調(diào)；擾亂
- gearshift n. 變速桿；換擋桿（等于gear lever）
- pulley n. 滑輪；皮帶輪；滑車 n. (Pulley)人名；(英)普利 vt. 用滑輪升起
- vicarious adj. 替代的；代理的；發(fā)同感的
- SU abbr. 后勤部隊（Service Unit） n. (Su)人名；(土、柬)蘇；(中)蘇(普通話·威妥瑪)
- sce abbr. 索尼電腦娛樂（Sony Computer Entertainment）
- bookbinder n. 裝訂商
- cardia n. 賁門; 前胃; 心窩
- tempura n. 天麩羅（日本菜肴，將魚蝦及蔬菜等蘸上雞蛋牛奶面糊炸熟）
- Rowdies n. rowdy的變形
- barnes n. 巴爾內(nèi)斯（姓氏）
- gamely adv. 勇敢地；不屈地
考試詞匯表
- string process system
- string representation
- string winding device
- stringent regulations
- stringent replication
- stringent requirement
- stringent tight money
- stringing (threading)
- stringless green bean
- stringlike row nuclei
- stringline calculator
- stringlining of curve
- strings someone along
- strip clamping device
- strip conducting wire
- strip cutting machine
- strip field technique
- strip filament source
- strip line circulator
- strip masking process
